Bell Labs - PDFSEARCH.IO - Document Search Engine

Bell Labs
Results: 466

#	Item
71	Pending Interest Table Sizing in Named Data Networking Luca Muscariello Orange Labs Networks / IRT SystemX G. Carofiglio (Cisco), M. Gallo, D. Perino (Bell Labs) Add to Reading List Source URL: conferences2.sigcomm.org Language: English - Date: 2015-10-02 14:26:05 Computer networking Named data networking Ingress
72	λ-RBAC: Programming with Role-Based Access Control Radha Jagadeesan1,? , Alan Jeffrey2,? , Corin Pitcher1?? , and James Riely1,? ? ? 1 2 School of CTI, DePaul University Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:37:48 Logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Abstraction Generalised Whitehead product Symbol
73	Logical Methods in Computer Science Volume 00, Number 0, Pages 000–000 SXX λ -RBAC: PROGRAMMING WITH ROLE-BASED ACCESS CONTROL RADHA JAGADEESAN, ALAN JEFFREY, CORIN PITCHER, AND JAMES RIELY Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:38:34 Type theory Algebraic geometry Computability theory Lambda calculus Theoretical computer science Role-based access control Valuation Subtyping Monad CurryHoward correspondence
74	Types and Effects for Asymmetric Cryptographic Protocols Andrew D. Gordon Microsoft Research Alan Jeffrey Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:38:44 Cryptography Public-key cryptography Authentication protocols Symmetric-key cryptography NeedhamSchroeder protocol Cryptographic nonce Digital signature XTR Cryptographic protocol Challengeresponse authentication Security protocol notation NeumanStubblebine protocol
75	Towards a proposal for datatypes in E-LOTOS Source: Belgium∗, France†, Romania‡, United Kingdom§ Output document of ISO/IEC JTC1/SC21/WG7 ‘Enhancements to LOTOS’ Ottawa meeting, July 1995 Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:36:08 Software engineering Computing Computer programming Type theory Procedural programming languages Process calculi Data types Synchronization Language Of Temporal Ordering Specification Standard ML E-LOTOS ML
76	Semantics for a fragment of LOTOS with functional data and abstract datatypes Alan Jeffrey, University of Sussex Input document of ISO/IEC JTC1/SC21/WG7 ‘Enhancements to LOTOS’ Li`ege meeting, December 19 Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:35:48 Logic in computer science Programming language semantics Type theory Logic programming Automated theorem proving Operational semantics Substitution Syntax Type system Semantics C++ classes Monad
77	UNIVERSITY OF SUSSEX COMPUTER SCIENCE A typed, prioritized process algebra Alan Jeffrey Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:39:13 Bisimulation Logic in computer science Theoretical computer science Substitution Generalised Whitehead product
78	Pattern-Matching Spi-Calculus∗ Christian Haack Security of Systems Group Faculty of Science, Radboud University Postbus 9010, 6500 GL Nijmegen, The Netherlands Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:41:03 Message authentication codes Public-key cryptography Public key infrastructure RSA BurrowsAbadiNeedham logic XTR
79	Secrecy Despite Compromise: Types, Cryptography, and the Pi-Calculus Andrew D. Gordon1 and Alan Jeffrey2? 1 2 Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:36:25 Computability theory Lambda calculus Theoretical computer science Regression analysis Computer science Mathematics Classical cipher
80	Confidential Safety via Correspondence Assertions Radha Jagadeesan Alan Jeffrey Corin Pitcher Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:40:04 Logic Mathematics Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Mathematical analysis Measure theory Generalised Whitehead product Indexed grammar

UPDATE